Couverture: an Innovative Open Framework for Coverage Analysis of Safety Critical Applications
نویسندگان
چکیده
One key step in the development of safety-critical applications is the assessment of the quality of the verification strategy. In practice, structural coverage is the methodology used to ascertain the testing campaign well satisfy a given quality criteria. In this paper, we describe the possible strategies to measure structural coverage in a DO-178B context. After evaluating state-ofthe-art approaches to measure structural coverage, we introduce Couverture, an innovative framework for coverage analysis exploiting a virtualized execution environment.
منابع مشابه
Object and Source Coverage for Critical Applications with the COUVERTURE Open Analysis Framework
This paper presents COUVERTURE, an open coverage analysis framework for safety-critical software development. COUVERTURE offers nonintrusive source and object coverage analysis on unmodified user code, using instrumentation of a virtual execution platform based on QEMU, a flexible and efficient open-source CPU emulator. COUVERTURE focuses primarily on the DO-178 civilian avionics certification ...
متن کاملFormalization and Comparison of MCDC and Object Branch Coverage Criteria
This paper presents formal results derived from the COUVERTURE project, whose goal was to develop tools to support structural coverage analysis of uninstrumented safety-critical software. After briefly introducing the project context and explaining the need for formal foundations, we focus on the relationships between machine branch coverage and the DO-178B Modified Condition/Decision Coverage ...
متن کاملAssessment of Noise Effect on Employee Comfort in an Open-Plan Office: Validation of an Assessment Questionnaire
Background: Today, open-plan offices are among the most common work environments. Although the noise in these environments is usually below the standard level, it is one of the critical annoyance factors due to the nature of the mental work. Accordingly, this study aimed to assess noise effects on employee comfort and validate the Persian version of the assessment of noise effects on employee c...
متن کاملTurning Quantitative: An Analytic Scale to Do Critical Discourse Analysis
Critical Discourse Analysis (CDA) could be seen as a theory in qualitative more than in qualitative stud- ies. This might have led to difficulty in doing CDA. Accordingly, this study attempted to develop a quan- titative profile in the form of an analytic rubric. For this purpose, Fairclough’s model of CDA was select- ed as the research framework. The techniques used for structuring analy...
متن کاملDesigning an Innovative University Model in the Framework of the Innovation Ecosystem in Iran
The purpose of this study was to design an innovative university model in the context of the innovation ecosystem in Iran and to identify the components of the innovation ecosystem and innovative universities. The methodology of the research was grounded theory. The statistical population of this study was all faculty members of the Ministry of Science, Research and Technology, Institute of Res...
متن کامل